Lean 3
Lean
のバージョン3系
Lean 3系はメンテナンスフェーズ
Lean 3 基礎
ドキュメント:
The Lean Reference Manual — The Lean Reference Manual 3.3.0 documentation